#ifndef FILE_H
#define FILE_H

#include <stddef.h>

#define WRITE_FILE_STR(filename, buf) write_file(filename, buf, strlen(buf))

void write_file(const char *filename, const char *buf, size_t buflen);

#endif